A SystemC Library for Advanced TLM Verification
نویسندگان
چکیده
This paper introduces the System Verification Methodology (SVM) Library as an advanced TLM library for SystemC, which is based on the OVM-SC library, a SystemC implementation of an Open Verification Methodology (OVM) subset. SVM integrates with a functional coverage library and comes as a significant extension of the OVM-SC library, by providing domain specific components (drivers, monitors, scoreboards and others) and facilities for generation and management of stimuli. KeywordsSystemC; OVM; UVM; Verification Library; Electronic System Level
منابع مشابه
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
The development of embedded systems starts more and more by the design of abstract models written in SystemC/TLM [18, 6]. These models allow the simulation of the embedded software before the hardware RTL descriptions are available, and are used as golden models for hardware verification. The verification of the SystemC/TLM models is an important issue, since a error in the model can mislead th...
متن کاملReactivity in SystemC Transaction-Level Models
SystemC is a popular language used in modeling systemon-chip implementations. To support this task at a high level of abstraction, transaction-level modeling (TLM) libraries have been recently developped. While TLM libraries are useful, it is difficult to capture the reactive nature of certain transactions with the constructs currently available in the SystemC and TLM libraries. In this paper, ...
متن کاملFormal Verification of Abstract SystemC Models
System-on-Chips (SoCs) combine hardware and embedded software on a single chip. To successfully develop such complex systems, an abstract model of the system is required to focus only on the relevant aspects at the beginning of the design process. This procedure has been systematized and the so-called Electronic System Level (ESL) design emerged. SystemC [1] has become the de facto standard for...
متن کاملA Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used for system-level functional testing and simulation using the SystemC C++ API widely accepted in industry. Nevertheless, TLM requires a careful handling of asynchronous concurrency. In this paper, we give a semantics to ...
متن کاملA Framework for Verification of SystemC TLM Programs with Model Slicing: A Case Study
In this paper, we evaluate the effectiveness of model slicing to provide assurance about correctness of SystemC TLM programs. The need for such assurance is important since SystemC has become a de-facto standard for building systems with hardware/software co-design. Existing approaches that enable one to transform the given SystemC TLM program into an UPPAAL model that can be verified suffer fr...
متن کامل